Scheduler-Specific Confidentiality for Multi-Threaded Programs and Its Logic-Based Verification Marieke Huisman and Tri Minh Ngo University of Twente, Netherlands

Source URL: wwwhome.ewi.utwente.nl

Specification and Verification of Atomic Operations in GPGPU Programs Afshin Amighi, Saeed Darabi, Stefan Blom, and Marieke Huisman University of Twente, The Netherlands, {a.amighi,s.darabi,s.blom,m.huisman}@utwente.nl

Source URL: wwwhome.ewi.utwente.nl

Adding Dialogue to the Virtual Storyteller Erwin Bergervoet ABSTRACT The Virtual Storyteller is an interactive storytelling system in development at the University of Twente. Currently,

Source URL: hmi.ewi.utwente.nl

Potential Applications of Digital Storytelling in Education Frank van Gils University of Twente, Electrical Engineering, Mathematics and Computer Science

Source URL: wwwhome.cs.utwente.nl

The Influence of Narrative Agency on Player Experience Niels Kamp University of Twente P.O. Box 217, 7500AE Enschede The Netherlands

Source URL: referaat.cs.utwente.nl

Trackside DEIRA: A Dynamic Engaging Intelligent Reporter Agent (Demo Paper) François L.A. Knoppel, Almer S. Tigelaar, Danny Oude Bos, Thijs Alofs, Zsofia Ruttkay Human Media Interaction, University of Twente, PO Box 217

Source URL: www.ifaamas.org

AWARD CEREMONY - LINKED DATA APPLICATION OF 2015 Jos van Hillegersberg (Professor Business Information Systems - University of Twente) Recipe for a Contest

Source URL: www.pilod.nl

• Semantic Web
• Jos van Hillegersberg
• Distributed computing architecture
• Data management
• Hillegersberg
• NXP Semiconductors
• Linked data
• Twente

Quantitative Security Analysis for Programs with Low Input and Noisy Output Tri Minh Ngo and Marieke Huisman University of Twente, Netherlands

Source URL: wwwhome.ewi.utwente.nl

Hide and Sneak: Story Generation with Characters that Perceive and Assume Hans ten Brinke, Jeroen Linssen and Mari¨et Theune Human Media Interaction, University of Twente P.O. Box 217, 7500 AE Enschede, the Netherlands

Source URL: wwwhome.cs.utwente.nl

Verification of Concurrent Systems with VerCors Afshin Amighi, Stefan Blom, Saeed Darabi, Marieke Huisman, Wojciech Mostowski, and Marina Zaharieva-Stojanovski University of Twente, the Netherlands Abstract. This paper

Source URL: wwwhome.ewi.utwente.nl